Partial evaluation - PDFSEARCH.IO - Document Search Engine

Partial evaluation
Results: 234

#	Item
31	UNIVERSITY OF CALIFORNIA RIVERSIDE Learning Ranking Functions for Video Search on the Web A Dissertation submitted in partial satisfaction Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2011-01-19 19:25:39 Information science Information retrieval Information retrieval evaluation Natural language processing Artificial intelligence applications Educational psychology Relevance feedback Educational technology Content-based image retrieval Relevance Ranking
32	Region-based Program Specialization An Operational Approach to Polymorphic Offline Partial Evaluation for ML-like Languages Simon Helsen Add to Reading List Source URL: repository.readscheme.org Language: German - Date: 2010-10-22 08:05:17
33	Domain-specific languages in software development and the relation to partial evaluation Niels H. Christensen Preface Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:08 Software engineering Computing Theoretical computer science Logic in computer science Functional languages Programming paradigms Domain-specific language Denotational semantics Programming language Erlang Functional programming DSL
34	Using Partial Evaluation in Distributed Query Evaluation Peter Buneman Gao Cong University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:13 FO Finite model theory XPath Bin Computing
35	An Introduction to Online and O ine Partial Evaluation Using a Simple Flowchart Language John Hatcli ? Department of Computing and Information Sciences Kansas State University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Software engineering Computer programming Computing Flow chart language Edsger W. Dijkstra Logic in computer science Programming language semantics LOOP Operational semantics Goto Tcl ECL programming language
36	Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:44 Software engineering Computing Computer programming Procedural programming languages Programming languages Programming language implementation Control flow Compiler optimizations Fortran Partial evaluation Programming language Type system
37	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
38	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
39	Faster Fourier Transforms via Automatic Program Specialization Julia L. Lawall IRISA { Compose group Campus Universitaire de BeaulieuRennes Cedex, France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Digital signal processing Cache Computer memory Compiler optimizations Algorithms Divide and conquer algorithms Fast Fourier transform CPU cache Optimizing compiler Partial evaluation Speedup Template
40	ML pattern match compilation and partial evaluation? Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Procedural programming languages Programming language comparisons Method Functional programming Term Pattern matching Constructor Standard ML ML JavaScript Map

UPDATE